Multilanguage systems

نویسندگان

  • F. Giunchiglia
  • T. Walsh
چکیده

10 not believe what it is not able to derive) and mutual introspection (if an agent a i believes A then another agent a j believes that a i believes A). Thus for instance common belief can be axiomatized by introducing a new predicate symbol CB(:), and, for any a i , by adding the following two bridge rules to the deduction machinery.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Multilanguage Codesign Using SDL and Matlab

Multilanguage solutions are required for the design of heterogeneous systems where different parts belong to different application classes e.g. control/data or continuous/discrete. The main problem that needs to be solved when dealing with multilanguage design is the refinement of communication between heterogeneous subsystems. This paper discusses the basic concepts of multilanguage design and...

متن کامل

Evaluating Multilanguage-Comparability of Subjectivity Analysis Systems

Subjectivity analysis is a rapidly growing field of study. Along with its applications to various NLP tasks, much work have put efforts into multilingual subjectivity learning from existing resources. Multilingual subjectivity analysis requires language-independent criteria for comparable outcomes across languages. This paper proposes to measure the multilanguage-comparability of subjectivity a...

متن کامل

Multilanguage Design of a Robot Arm Controller: Case Study

This paper discusses a case study, the multilanguage design of a robot arm controller. The system is composed of two parts: the controller and the motors of the robot arm. The design starts with a multilanguage system-level specification. SDL was used for the description of the controller and Matlab was used for the description of the physical behavior of the motors. The multilanguage design fl...

متن کامل

Multilanguage Semantic Behavioural Algorithms to Discover Terrorist Related Online Contents

Multilanguage Semantic behavioural algorithms mapped to machine learning techniques in order to collect and analyze huge amount of heterogeneous and complex Multimedia and Multilanguage terrorist-related contents from both the Surface and the Deep Web, in order to discover (by “connecting the dots”), detect, analyze, and monitor potential terrorist-related activities and people. At the conferen...

متن کامل

Equation-preserving multilanguage systems

Kennedy has recently argued that the designers of C] should try to informally verify that their compilation from C] source to Microsoft Common Language Runtime (CLR) bytecode is “fully abstract” in the sense that any two code fragments that C] programs cannot distinguish must compile into CLR code fragments that CLR programs also cannot distinguish. In this paper we treat that property as a cri...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1991